/**
 * Copyright (c) 2015 Lucky Byte, Inc.
 */
.hljs-line-numbers {
  font-family: Courier, 'Courier New', monospace;
  text-align: right;
  border-right: 1px solid #ccc;
  color: #999;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

@media (min-height: 600px) and (max-height: 650px) {
  .ui.code.segment pre {
    height: 430px;
    overflow: auto;
  }
}

@media (min-height: 650px) and (max-height: 700px) {
  .ui.code.segment pre {
    height: 480px;
    overflow: auto;
  }
}

@media (min-height: 700px) and (max-height: 750px) {
  .ui.code.segment pre {
    height: 530px;
    overflow: auto;
  }
}

@media (min-height: 750px) and (max-height: 800px) {
  .ui.code.segment pre {
    height: 580px;
    overflow: auto;
  }
}

@media (min-height: 800px) and (max-height: 850px) {
  .ui.code.segment pre {
    height: 630px;
    overflow: auto;
  }
}

@media (min-height: 850px) and (max-height: 900px) {
  .ui.code.segment pre {
    height: 680px;
    overflow: auto;
  }
}

@media (min-height: 900px) and (max-height: 950px) {
  .ui.code.segment pre {
    height: 730px;
    overflow: auto;
  }
}

@media (min-height: 950px) and (max-height: 1000px) {
  .ui.code.segment pre {
    height: 780px;
    overflow: auto;
  }
}

@media (min-height: 1000px) and (max-height: 1050px) {
  .ui.code.segment pre {
    height: 830px;
    overflow: auto;
  }
}

@media (min-height: 1050px) and (max-height: 1100px) {
  .ui.code.segment pre {
    height: 880px;
    overflow: auto;
  }
}

@media (min-height: 1100px) and (max-height: 1150px) {
  .ui.code.segment pre {
    height: 930px;
    overflow: auto;
  }
}

@media (min-height: 1150px) and (max-height: 1200px) {
  .ui.code.segment pre {
    height: 980px;
    overflow: auto;
  }
}

@media (min-height: 1200px) and (max-height: 1250px) {
  .ui.code.segment pre {
    height: 1030px;
    overflow: auto;
  }
}

@media (min-height: 1250px) and (max-height: 1300px) {
  .ui.code.segment pre {
    height: 1080px;
    overflow: auto;
  }
}

@media (min-height: 1300px) and (max-height: 1350px) {
  .ui.code.segment pre {
    height: 1130px;
    overflow: auto;
  }
}

@media (min-height: 1350px) and (max-height: 1400px) {
  .ui.code.segment pre {
    height: 1180px;
    overflow: auto;
  }
}

@media (min-height: 1400px) and (max-height: 1450px) {
  .ui.code.segment pre {
    height: 1230px;
    overflow: auto;
  }
}

@media (min-height: 1450px) and (max-height: 1500px) {
  .ui.code.segment pre {
    height: 1280px;
    overflow: auto;
  }
}

@media (min-height: 1500px) and (max-height: 1550px) {
  .ui.code.segment pre {
    height: 1330px;
    overflow: auto;
  }
}

@media (min-height: 1550px) and (max-height: 1600px) {
  .ui.code.segment pre {
    height: 1380px;
    overflow: auto;
  }
}

@media (min-height: 1600px) and (max-height: 1650px) {
  .ui.code.segment pre {
    height: 1430px;
    overflow: auto;
  }
}

@media (min-height: 1650px) and (max-height: 1700px) {
  .ui.code.segment pre {
    height: 1480px;
    overflow: auto;
  }
}

@media (min-height: 1700px) and (max-height: 1750px) {
  .ui.code.segment pre {
    height: 1530px;
    overflow: auto;
  }
}

@media (min-height: 1750px) and (max-height: 1800px) {
  .ui.code.segment pre {
    height: 1580px;
    overflow: auto;
  }
}

@media (min-height: 1800px) and (max-height: 1850px) {
  .ui.code.segment pre {
    height: 1630px;
    overflow: auto;
  }
}

@media (min-height: 1850px) and (max-height: 1900px) {
  .ui.code.segment pre {
    height: 1680px;
    overflow: auto;
  }
}

@media (min-height: 1900px) and (max-height: 1950px) {
  .ui.code.segment pre {
    height: 1730px;
    overflow: auto;
  }
}

@media (min-height: 1950px) and (max-height: 2000px) {
  .ui.code.segment pre {
    height: 1780px;
    overflow: auto;
  }
}
